/*******************************************************************************/
/*                                                                             */
/*  Copyright (c) 2009: Peter Schregle,                                        */
/*  All rights reserved.                                                       */
/*                                                                             */
/*  This file is part of the Property Library.                                 */
/*                                                                             */
/*  Redistribution of the Property Library and use in source and binary forms, */
/*  with or without modification, are permitted provided that the following    */
/*  conditions are met:                                                        */
/*  1. Redistributions of source code must retain the above copyright notice,  */
/*     this list of conditions and the following disclaimer.                   */
/*  2. Redistributions in binary form must reproduce the above copyright       */
/*     notice, this list of conditions and the following disclaimer in the     */
/*     documentation and/or other materials provided with the distribution.    */
/*  3. Neither the name of Peter Schregle nor the names of other contributors  */
/*     may be used to endorse or promote products derived from this software   */
/*     without specific prior written permission.                              */
/*                                                                             */
/*  THIS SOFTWARE IS PROVIDED BY PETER SCHREGLE AND CONTRIBUTORS 'AS IS' AND   */
/*  ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE      */
/*  IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE */
/*  ARE DISCLAIMED. IN NO EVENT SHALL PETER SCHREGLE OR CONTRIBUTORS BE LIABLE */
/*  FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL */
/*  DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS    */
/*  OR SERVICES; LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION)      */
/*  HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT,        */
/*  STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN   */
/*  ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE            */
/*  POSSIBILITY OF SUCH DAMAGE.                                                */
/*                                                                             */
/*******************************************************************************/


#include <boost/test/unit_test.hpp>

#include "../../include/pl/property.h"
#include <boost/static_assert.hpp>


BOOST_AUTO_TEST_SUITE( property_suite )

int rom_value_a_;

int & rom_getter_a()
{
	return rom_value_a_;
}

int rom_value_b_;

int & rom_getter_b()
{
	return rom_value_b_;
}

int rom_value_c_;

int & rom_getter_c()
{
	return rom_value_c_;
}

BOOST_AUTO_TEST_CASE( property_rom_default_construct )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	BOOST_CHECK( a == 0 );
}

BOOST_AUTO_TEST_CASE( property_rom_less_than )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	rom_value_b_ = 1;
	pl::property_rom<int, void> b(rom_getter_b);
	BOOST_CHECK( a < b );
	BOOST_CHECK( !(b < a) );
}

BOOST_AUTO_TEST_CASE( property_rom_less_than_or_equal )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	rom_value_b_ = 1;
	pl::property_rom<int, void> b(rom_getter_b);
	BOOST_CHECK( a <= b );
	BOOST_CHECK( !(b <= a) );
	rom_value_c_ = 0;
	pl::property_rom<int, void> c(rom_getter_c);
	BOOST_CHECK( a <= c );
	BOOST_CHECK( c <= a );
}

BOOST_AUTO_TEST_CASE( property_rom_greater_than )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	rom_value_b_ = 1;
	pl::property_rom<int, void> b(rom_getter_b);
	BOOST_CHECK( b > a );
	BOOST_CHECK( !(a > b) );
}

BOOST_AUTO_TEST_CASE( property_rom_greater_than_or_equal )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	rom_value_b_ = 1;
	pl::property_rom<int, void> b(rom_getter_b);
	BOOST_CHECK( b >= a );
	BOOST_CHECK( !(a >= b) );
	rom_value_c_ = 0;
	pl::property_rom<int, void> c(rom_getter_c);
	BOOST_CHECK( a >= c );
	BOOST_CHECK( c >= a );
}

BOOST_AUTO_TEST_CASE( property_rom_equal )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	rom_value_b_ = 0;
	pl::property_rom<int, void> b(rom_getter_b);
	BOOST_CHECK( a == b );
	BOOST_CHECK( b == a );
	rom_value_c_ = 1;
	pl::property_rom<int, void> c(rom_getter_c);
	BOOST_CHECK( !(a == c) );
	BOOST_CHECK( !(c == a) );
}

BOOST_AUTO_TEST_CASE( property_rom_not_equal )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	rom_value_b_ = 1;
	pl::property_rom<int, void> b(rom_getter_b);
	BOOST_CHECK( a != b );
	BOOST_CHECK( b != a );
	rom_value_c_ = 0;
	pl::property_rom<int, void> c(rom_getter_c);
	BOOST_CHECK( !(a != c) );
	BOOST_CHECK( !(c != a) );
}

BOOST_AUTO_TEST_CASE( property_rom_not )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	BOOST_CHECK( !a );

	rom_value_b_ = 1;
	pl::property_rom<int, void> b(rom_getter_b);
	BOOST_CHECK( !(!b) );

	rom_value_c_ = 1000;
	pl::property_rom<int, void> c(rom_getter_c);
	BOOST_CHECK( !(!c) );
}

BOOST_AUTO_TEST_CASE( property_rom_unary_minus )
{
	rom_value_a_ = 0;
	pl::property_rom<int, void> a(rom_getter_a);
	BOOST_CHECK( a == -a );
	BOOST_CHECK( -a == a );

	rom_value_b_ = 1;
	pl::property_rom<int, void> b(rom_getter_b);
	rom_value_c_ = -1;
	pl::property_rom<int, void> c(rom_getter_c);
	BOOST_CHECK( b == -c );
	BOOST_CHECK( -c == b );
	BOOST_CHECK( -b == c );
	BOOST_CHECK( c == -b );
}

BOOST_AUTO_TEST_SUITE_END()

